predicate calculus
美英
- 网络谓词演算；谓词逻辑；述词演算
predicate calculuspredicate calculus
谓词演算
普通英汉小词典_翻译家(Fanyijia.com) ... 命题演算 propositional calculus 谓词演算 predicate calculus 合取 conjunction ...
谓词逻辑
谓词逻辑（Predicate Calculus）表示法是一种形式表达法。本节介绍基于一阶谓词逻辑（First Order Predicate Calculus）的子 …
述词演算
项目评估与分析用语英语翻译（11） ... 述词 predicate 述词演算 predicate calculus 述词演算逻辑 predicate calculus logic ...
谓语演算
无标题文档 ... predeterminer 前限定词 3.1.2 predicate calculus 谓语演算 5.5.2 predicate logic 谓语逻辑 5.5.2 ...
谓词微积分
...索语言（retrieval language）， 谓词微积分（predicate calculus），安全（security）， 数据整合（data integrity）
谓词积分
...这些途径分为两 个层次：基于逻辑的形式系统，这是从谓词积分（predicate calculus）可以毫无疑问的用来获得世 界的事实 …
谓词演算系统
...德国数学家、哲学家Gottlob Frege 推出谓词演算系统(predicate calculus)才使这一局面得到改变。
第二阶述词演算
Assignment... ... 第二部分乘积 partial product 第二阶述词演算 predicate calculus 次要机率分布 probability distribution ...
1
3
4
6
7
9